Obituary: Stuart Keith 1931-2003

Obituary: Professor Keith Rayner (1943–2015)

Keith was the world's leading expert in the study of the cognitive mechanisms underlying the ability to read in children and adults. In the 1970s, he pioneered the use of eye-tracking methodology in psychological research, which enabled the precise measurement and manipulation of read text with millisecond control. Through Keith's work, researchers can accurately predict how long an adult will ...

Obituary: Professor Dr. Helmut Thiele (1926-2003)

To the great loss of the scienti)c community, Professor Helmut Thiele has passed away unexpectedly, but peacefully on Friday, January 10, 2003 in his home town of Cologne. He was born on June 20, 1926 in Saratoga. In 1946, he took up a profession as “Neulehrer”, a specially created position as school teacher with a short training, to make up for the lack of teachers after World War II. From 194...

Richards , Keith . ( 2003 ) . Qualitative Inquiry in Tesol . Hampshire : Palgrave Macmillan

Obituary

Keith Simmons

Computer scientists use formal verification to attempt to provide guarentees to the users of software about the run time characteristics of a given program. Verification techniques today often require a TCB or Trusted Code Base which due to time or effort constraints, the authors were not able to prove correct. When bugs occure in these pieces, they break down the strong guarentees of formal ve...